"Keijiro Araki" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

keijiro (editor) ; gnesi, stefania (editor) ; mandrioli, dion (editor) araki

Категория: Компьютеры

6.54 Mb

#2

Theoretical Aspects of Computing - ICTAC 2004, 1 conf

Zhiming Liu, Keijiro Araki

Категория: Cs_Computer science, CsLn_Lecture notes

3.56 Mb

#3

RIMS Symposia on Software Science and Engineering II Proc.of 1983 and 1984

Eiichi Goto, Keijiro Araki, Taiichi Yuasa

Категория: Cs_Computer science, CsLn_Lecture notes

2.30 Mb

#4

High Performance Computing: International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings

Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya

5.19 Mb

#5

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Keijiro Araki, Stefania Gnesi, Dion Mandrioli

8.13 Mb